Scheme theory - PDFSEARCH.IO - Document Search Engine

Scheme theory
Results: 835

#	Item
181	Scheme Type Recovery 1 1 Introduction Scheme is a latently typed language [R3RS]. This means that unlike statically typed languages such Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:16 Type theory Data types Functional languages Lisp programming language Cross-platform software Continuation-passing style Type safety Variable Common Lisp Software engineering Computing Programming language theory
182	An Asymptotically Optimal Scheme for P2P File Sharing∗ Panayotis Antoniadis†, Costas Courcoubetis† and Richard Weber‡ Abstract The asymptotic analysis of certain public good models for p2p systems suggests that w Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2004-06-10 03:01:30
183	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:23:10 Functional languages Lisp programming language Procedural programming languages Scheme Lisp Debugging Programming language Python ALGOL 68 Software engineering Computing Programming language theory
184	PDF Document Add to Reading List Source URL: bitsavers.trailing-edge.com Language: English - Date: 2010-11-05 22:37:17 Pointer Pascal ALGOL 68 Scheme Framebuffer Programming language theory Computing Software engineering
185	2014 IEEE International Conference on Robotics & Automation (ICRA) Hong Kong Convention and Exhibition Center May 31 - June 7, 2014. Hong Kong, China An On-Board Learning Scheme for Open-Loop Quadrocopter Maneuvers Using Add to Reading List Source URL: flyingmachinearena.org Language: English - Date: 2014-07-09 06:38:37 Cybernetics Systems theory Estimation theory Kalman filter Robot control Normal distribution Dimensional analysis Symbol Dynamical system Statistics Control theory Stochastic differential equations
186	PDF Document Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2007-01-11 10:22:57 Software Computer programming DrRacket Scheme Programming language theory
187	A Frequency Domain Iterative Feed-Forward Learning Scheme for High Performance Periodic Quadrocopter Maneuvers Markus Hehn and Raffaello D’Andrea Abstract— Quadrocopters exhibit complex high-speed flight dynamics, an Add to Reading List Source URL: flyingmachinearena.org Language: English - Date: 2014-03-03 10:38:45 Iterative learning control Aerospace engineering Science Algorithm Flight dynamics Sliding mode control Control theory Cybernetics Systems theory
188	Index ∇ (inference tree), 3, 98, 99, 118 Λ (in type function), 48 ∀ (in type scheme), 36 see also quantification α (type variable), 36 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-10-12 10:48:21 Data types Type theory C++ Procedural programming languages Functional programming Monad Variable Scope C++ classes Software engineering Computing Computer programming
189	PDF Document Add to Reading List Source URL: www.emissionshandelsregister.at Language: English - Date: 2014-10-16 06:24:23 Emissions trading Auction theory Environment Business Climate change in the European Union European Union Emission Trading Scheme Auction Markets in Financial Instruments Directive Climate change policy Climate change Carbon finance
190	An Iterative Learning Scheme for High Performance, Periodic Quadrocopter Trajectories Add to Reading List Source URL: flyingmachinearena.org Language: English - Date: 2014-03-03 10:38:45 Cybernetics Science Control theory Iterative learning control Inverted pendulum Sliding mode control Pendulums Systems theory Control engineering

UPDATE